(DEFPROP TEMFNS
 (TEMFNS FINDNDS1)
VALUE)

(DEFPROP FINDNDS1
 (LAMBDA(RA RI X3)
  (PROG	(X1 X2 USED)
   C	(COND ((ZEROP (NODE (SETQ X2 (CDAR (SETQ X1 (CAR LINE)))))) (COND (X3 (STKNDS X2 USED))))
	      ((RTLIN RI X1 USED) (PUSH3 USED LINE NIL) (GO NXT)))
   A	(COND ((ATOM (POP X3)) (GO D)))
	(SETND (CADR X3) (CAR X3))
	(COND ((RTLIN RI X1 USED) (PUSH USED) (PUSH LINE) (PUSH NIL))
	      (T (SETND (CADR X3) (QUOTE (0 . 0))) (GO A)))
   NXT	(SETQ USED (CONS X1 USED))
	(SETQ X3 T)
	(COND ((SETQ LINE (CDR LINE)) (GO C)) (T (RETURN T)))
   D	(POP LINE)
	(POP USED)
	(COND ((NULL STACK) (RETURN NIL)) (X3 (SETND X3 (QUOTE (0 . 0)))))
	(COND ((ATOM (CAR STACK)) (POP X3) (GO D)))
	(STORE (NODE (CADAR STACK)) 0)
	(SETQ X3 NIL)
	(COND ((OR (ZEROP (NODE (SETQ X2 (CDAR (SETQ X1 (CAR LINE)))))) (NOT (RTLIN RI X1 USED))) (GO A)))
	(PUSH3 USED LINE NIL)
	(GO NXT)))
EXPR)